$\forall$$E$:Type, $V$:(Id$\rightarrow$Id$\rightarrow$Type), $M$:(IdLnk$\rightarrow$Id$\rightarrow$Type), ${\it loc}$:($E$$\rightarrow$Id), $k$:($E$$\rightarrow$Knd), $e$:$E$.
\\[0ex]eventtype($k$;${\it loc}$;$V$;$M$;$e$) $\in$ Type